$\forall$$i$, $j$:$\mathbb{N}$. $i$$\leq$$j$ $\Rightarrow$ upto($i$) $\leq$ upto($j$)